/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package simhya;

/**
 *
 * @author Luca
 */
public class GlobalOptions {
    public static int transitionThresholdForRateTree = 50;
    public static int maximumSequenceOfInstantaneousTransitions = 50;
    public static int initialArraySize = 1000;
    public static int minimumSizeEventQueue = 10000;
    public static boolean alwaysComputeRateAfterGuard = true;
    public static final double TOLERANCE = 1e-10;
    public static int thresholdForUsingDependencyGraph = 2;

    //chart options
    public static int ChartFrameWidth = 1000;
    public static int ChartFrameHeight = 700;
    public static int ChartFileWidth = 1024;
    public static int ChartFileHeight = 768;
    public static int XYchartFrameWidth = 1000;
    public static int XYchartFrameHeight = 700;
    public static int XYchartFileWidth = 1024;
    public static int XYchartFileHeight = 768;
    public static int HistChartFrameWidth = 1000;
    public static int HistChartFrameHeight = 700;
    public static int HistChartFileWidth = 1024;
    public static int HistChartFileHeight = 768;
    public static org.jfree.data.statistics.HistogramType histogramType = org.jfree.data.statistics.HistogramType.FREQUENCY;
    public static int averageBinSizeInInterquantileRange = 10;

}
